| 1. | Moreover, any axiomatizable and complete theory is decidable.
Une théorie récursivement axiomatisable et complète est décidable. |
| 2. | The equivalence between gravitational and inertial effects does not constitute a complete theory of gravity.
L'équivalence entre les effets de gravitation et d'inertie ne constitue pas une théorie de la gravitation complète. |
| 3. | Rankine developed a complete theory of the steam engine and indeed of all heat engines.
Rankine élabora une théorie complète de la machine à vapeur, quel que soit le type de moteur. |
| 4. | This eventually led to the replacement of the four-fermion contact interaction by a more complete theory (UV completion)—an exchange of a W or Z boson as explained in the electroweak theory.
La solution est de remplacer l'interaction de contact de quatre fermions par une théorie plus complète (complétion ultraviolette) — un échange d'un boson W ou Z comme expliqué par la théorie électrofaible. |
| 5. | Rather than a fundamental incompatibility of quantum mechanics and gravity, we are in the more familiar situation of needing a more complete theory beyond the range of their combined applicability.
Plutôt qu'un incompatibilité fondamentale entre la mécanique quantique et la gravité, nous sommes dans la situation plus familière où nous avons besoin d'une théorie plus complète au-delà du domaine de leur incompatibilité combinée. |
| 6. | Ohm's law first appeared in the famous book Die galvanische Kette, mathematisch bearbeitet (tr., The Galvanic Circuit Investigated Mathematically) (1827) in which he gave his complete theory of electricity.
Ce qui est actuellement connu sous le nom de loi d'Ohm est apparu dans le livre Die galvanische Kette, mathematisch bearbeitet (Le circuit galvanique étudié mathématiquement) (1827) dans lequel il fournit une théorie complète de l'électricité. |
| 7. | In 1827, the German scientist Georg Ohm expressed his law in this famous book "Die galvanische Kette, mathematisch bearbeitet" (The Galvanic Circuit Investigated Mathematically) in which he gave his complete theory of electricity.
En 1827, un scientifique allemand Georg Ohm exprime sa fameuse loi dans son livre Die galvanische Kette, mathematisch bearbeitet, « le circuit galvanique étudié mathématiquement », dans lequel il donne sa théorie complète de l'électricité. |
| 8. | In trying to show that quantum mechanics was not a complete theory, Einstein started with the theory's prediction that two or more particles that have interacted in the past can appear strongly correlated when their various properties are later measured.
En essayant de démontrer que la mécanique quantique était une théorie incomplète, Einstein a commencé par la prédiction faite par la théorie que deux particules (ou plus) ayant interagi par le passé peuvent apparaître fortement corrélées lors de la mesure future de leurs propriétés. |
| 9. | He articulates the reasons for this shift of inspiration in his critical piece, “To the One Who Would Write a Song” (Noraereul jieusillyeoneun iege), in which he places the highest value on the creation of beauty and vitality in the Korean language and move on to develop a complete theory of poetry.
Il énonce les raisons de cette volonté dans sa pièce critique À celui qui écrirait une chanson (Noraereul jieusillyeoneun iege), récit dans lequel il accorde la plus haute valeur à la création de la beauté et à la vitalité de la langue coréenne pour créer une toute nouvelle conception de la poésie. |
| 10. | Complete theories are closed under a number of conditions internally modelling the T-schema: For a set S {\displaystyle S} : A ∧ B ∈ S {\displaystyle A\land B\in S} if and only if A ∈ S {\displaystyle A\in S} and B ∈ S {\displaystyle B\in S} , For a set S {\displaystyle S} : A ∨ B ∈ S {\displaystyle A\lor B\in S} if and only if A ∈ S {\displaystyle A\in S} or B ∈ S {\displaystyle B\in S} .
Les théories complètes sont fermées pour un certain nombre de propriétés qui modélisent le schéma T (en) : pour un ensemble S |
